1. Automata, languages and programming :
پدیدآورنده: edited by G. Ausiello and C. Böhm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
2. Automata, languages and programming : Fifth Colloquium, Udine, Italy, July 17-21, 1978
پدیدآورنده: edited by G. Ausiello and C. Bohm
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
62
3. CAAP'81 : trees in algebra and programming 6th Colloquium, Genoa, March 5-7, 1981 : proceedings
پدیدآورنده: edited by E. Astesiano and C. Bohm; under the sponsorship of the European Association for Theoretical Computer Science )EATCS(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
112
4. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
پدیدآورنده: / Edited by C. Bohm
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
رده :
QA
905
.
L35
5. On deaths and endings :
پدیدآورنده: edited by Brent Willock, Lori C. Bohm and Rebecca C. Curtis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Bereavement-- Psychological aspects.,Death-- Psychological aspects.,Loss (Psychology),Psychoanalysis.,Attitude to Death.,Bereavement.,Grief.,Psychoanalysis.,Thanatology.,Bereavement-- Psychological aspects.,Death-- Psychological aspects.,Loss (Psychology),Psychoanalyse,Psychoanalysis.,Sterben,Tod,Trauerarbeit
رده :
BF789
.
D4
O5
2007
6. Theoretical computer science: proceedings of the third Italian Conference , Mantova, 2-4 November 1989
پدیدآورنده: edited by A. Bertoni, C. Bohm, P. Miglioli
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science
رده :
QA
75
.
5
.
I83
1989
7. Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings
پدیدآورنده: CAAP '81 ; edited by E. Astesiano and C. Bohm,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Trees )Graph theory( - Data processing - Congresses,Data structures )Computer science( - Congresses,Computational complexity - Congresses
رده :
QA
.
C3
166
.
2
1981
8. λ-Calculus and Computer Science Theory :
پدیدآورنده: edited by C. Böhm. B�ohm, C.,
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
5
E358
1975
